901. The theory of models; proceedings
پدیدآورنده :
کتابخانه: Library of the Faculty of Economics University of Tehran (Tehran)
موضوع : Logic Symbolic and mathematical models-Congresses
رده :
BC
135
.
I586
902. The theory of models; proceedings
پدیدآورنده : Edited by J.W. Addison, Leon Henkin )and( Alfred Tarski
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematical models
رده :
BC
135
.
I586
1963
903. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability
پدیدآورنده : Reichenbach, Hans
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Mathematics -- Philosophy,، Probabilities,، Logic, Symbolic and mathematical
رده :
QA
9
.
R412
1949
904. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability
پدیدآورنده : Reichenbach, Hans
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Mathematics-- Philosophy,، Probabilities,، Logic, Symbolic and mathematical
رده :
QA
9
.
R412
1971
905. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability
پدیدآورنده : Reichenbach, Hans
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : philosophy ، Mathematics,، Probabilities,، Logic, Symbolic and mathematical
رده :
QA
9
.
R413
906. Theorem proving with the real numbers.
پدیدآورنده : John Harrison
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA76
.
9
.
A96
J646
2012
907. Theorems, corollaries, lemmas, and methods of proof /
پدیدآورنده : Richard J. Rossi
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical, Textbooks,Mathematical analysis-- Foundations, Textbooks,Proof theory, Textbooks
رده :
QA9
.
54
.
R668
2006
908. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده : / Richard J. Rossi
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory- Textbooks,Mathematical analysis- Foundations- Textbooks,Logic, Symbolic and mathematical- Textbooks
رده :
QA9
.
54
.
R668
2006
909. Theorems of the 21st century.
پدیدآورنده : Bogdan Grechuk.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Induction (Mathematics),Logic, Symbolic and mathematical.,Mathematics.,Induction (Mathematics),Logic, Symbolic and mathematical.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Mathematics.
رده :
QA37
.
3
910. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده : Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
911. Theory and problems of discrete mathematics
پدیدآورنده : Seymour Lipschutz, Marc Lipson
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Algebra, Abstract Outlines, syllabi, etc,، Combinatorial analysis Outlines, syllabi, etc,، Discrete mathematics,، Logic, Symbolic and mathematical Outlines, syllabi, etc
رده :
QA
162
.
L56
2007
912. Theory of Finite and Infinite Graphs
پدیدآورنده : by Dénes König.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatorics.,Logic, Symbolic and mathematical.,Mathematics.
913. Theory of formal systems /
پدیدآورنده : R.M. Smullyan.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,SCIENCE-- System Theory.
رده :
QA248
.
5
914. Thirty Five Years of Automating Mathematics.
پدیدآورنده : Dov M Gabbay
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.
915. Thirty years of foundational studies; lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964
پدیدآورنده : Mostowski, Andrzej
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy
رده :
B
28
.
F5
.
A3
Fasc
.
17
916. Three views of logic
پدیدآورنده : Donald W. Loveland, Richard E. Hodel, S.G. Sterrett
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic,Logic, Symbolic and mathematical
917. Toposes, Algebraic geometry and logic
پدیدآورنده : ]by[ I.Bucur ]and others[ edited by F.W.Lawvere
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Nosa Detected Damaged Record #4254,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
274
918. Toposes, algebraic geometry and logic
پدیدآورنده : ]by[ I. Bucur... ]et al.[ ; Edited by F. W. Lawvere
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,، Toposes
رده :
QA
169
.
T6
1972
919. Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
پدیدآورنده : I. Bucur ... ]et al.[; edited by F. W. Lawvere
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Toposes
رده :
QA
3
.
L28
Vol
.
274
920. Toward "Principia mathematica", 1905-08 /
پدیدآورنده : Bertrand Russell ; edited by Gregory H. Moore.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Whitehead, Alfred North,1861-1947., Principia mathematica.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Filosofie.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Wiskunde.
رده :
B1649
.
R91
1983
